аппликативный язык

applicative language

сокращенная версия языка — language subset

формализованный язык — formalized language

формализовать язык — formalize a language

функция языка — language oriented function

явно определенный язык — explicit language


Русско-английский большой базовый словарь. 2014.

Смотреть что такое "аппликативный язык" в других словарях:

  • Аппликативный язык программирования — …   Википедия

  • Аппликативный подход к программированию — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… …   Википедия

  • Язык нама — Нама Самоназвание: Khoekhoegowap Страны: Намибия, Ботсвана, Южно Африканская Республика Регионы: юг и центральная часть Намибии; Северная Капская провинция; округа Кгалагади и Ганзи Официальный статус: национал …   Википедия

  • Нама (язык) — Нама Самоназвание: Khoekhoegowap Страны: Намибия, Ботсвана, Южно Африканская Республика …   Википедия

  • Готтентотский язык — Нама Самоназвание: Khoekhoegowap Страны: Намибия, Ботсвана, Южно Африканская Республика Регионы: юг и центральная часть Намибии; Северная Капская провинция; округа Кгалагади и Ганзи Официальный статус: национал …   Википедия

  • Аппликативное программирование — Аппликативный подход к написанию программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли… …   Википедия

  • Языки программирования — Язык программирования  формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… …   Википедия

  • Curry — Семантика: мультипарадигменный: функциональный, логический Curry язык Curry является универсальным языком программирования, в котором объединены две парадигмы декларативного программирования функциональная и логическая. Более того, в этом языке… …   Википедия

  • Unlambda — Unlambda  минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore). Он основан на комбинаторной логике, варианте Лямбда исчисления, который опускает оператор lambda. Язык полагается в основном на две… …   Википедия

  • Нама — У этого термина существуют и другие значения, см. Нама (значения). Нама Самоназвание: Khoekhoegowap Страны …   Википедия

  • Карри, Хаскелл — Брукс (12 сентября 1900 1 сентября 1982) американский математик и логик. Программа его исследований[1] способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, дав начало логике… …   Википедия

Книги

Другие книги по запросу «аппликативный язык» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.